2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Dynamic Logic (Foundations of Computing)
David Harel
,
Dexter Kozen
,
Jerzy Tiuryn
2.24 Mb
#2
Dynamic logic
David Harel
,
Dexter Kozen
,
Jerzy Tiuryn
Категория:
Mathematics
,
Algebra
,
Mathematical logic
2.23 Mb
#3
Computer Science Logic, 8 conf., CSL '94
Leszek Pacholski
,
Jerzy Tiuryn
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.50 Mb
#4
Dynamic Logic
David Harel
,
Dexter Kozen
,
Jerzy Tiuryn
1.71 Mb
#5
Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences ...
Jerzy Tiuryn
6.41 Mb